It was proved by Odintsov and Pearce that the logic is a deductive base for paraconsistent answer set semantics of logic programs with two kinds of negation. Here we describe the lattice of logics extending, characterise these logics via classes of -models, and prove that none of the proper extensions of is a deductive base for PAS.

Introduction: The decision of “do not attempt resuscitation” in the event of cardiopulmonary arrest is usually made when the patients are critically ill and cannot make an informed choice. Although, various professional bodies have published guidelines, little is know about the patients’ own views regarding DNAR discussion.Aim: The aim of this study was to determine patients’ attitudes regarding discussing DNAR before they are critically ill.Methods: A prospective study was performed in a general out patients department. A questionnaire was distributed to (...) consecutive outpatients along with an explanatory leaflet in the adult outpatient clinic.Results: 364 patients completed the questionnaire . 90% of respondents wanted all patients to be asked regarding DNAR decision at some point during a hospital admission. The majority would not find a DNAR discussion distressing. Only 10% would find it upsetting, however, 48% of these still wanted a discussion. 37% of respondents wanted to discuss DNAR decisions on admission; 32% in outpatients; 17% at consent for surgery, 14% when they are critically ill. 87% of respondents would not object to their relatives being involved in making decisions about their resuscitation status. However, only 12% of the subjects in the study had been involved in discussing the resuscitation status of a relative and 21% would not be comfortable to discuss a relative’s resuscitation status. Although 33% of patients preferred their resuscitation status to simply be documented within their clinical notes, 77% wanted it to be more easily accessible.Conclusions: This study suggests that contrary to current practice most patients want to discuss their DNAR status prior to becoming critically ill. This includes half of the small number that find it distressing to discuss. Although most patients are comfortable with relatives being involved in discussing DNAR, a significant proportion do not want their relatives to be asked. Furthermore, once a decision has been made, the majority of patients want it to be more accessible than current practice allows. (shrink)

Introduction: The decision of “do not attempt resuscitation” in the event of cardiopulmonary arrest is usually made when the patients are critically ill and cannot make an informed choice. Although, various professional bodies have published guidelines, little is know about the patients’ own views regarding DNAR discussion.Aim: The aim of this study was to determine patients’ attitudes regarding discussing DNAR before they are critically ill.Methods: A prospective study was performed in a general out patients department. A questionnaire was distributed to (...) consecutive outpatients along with an explanatory leaflet in the adult outpatient clinic.Results: 364 patients completed the questionnaire . 90% of respondents wanted all patients to be asked regarding DNAR decision at some point during a hospital admission. The majority would not find a DNAR discussion distressing. Only 10% would find it upsetting, however, 48% of these still wanted a discussion. 37% of respondents wanted to discuss DNAR decisions on admission; 32% in outpatients; 17% at consent for surgery, 14% when they are critically ill. 87% of respondents would not object to their relatives being involved in making decisions about their resuscitation status. However, only 12% of the subjects in the study had been involved in discussing the resuscitation status of a relative and 21% would not be comfortable to discuss a relative’s resuscitation status. Although 33% of patients preferred their resuscitation status to simply be documented within their clinical notes, 77% wanted it to be more easily accessible.Conclusions: This study suggests that contrary to current practice most patients want to discuss their DNAR status prior to becoming critically ill. This includes half of the small number that find it distressing to discuss. Although most patients are comfortable with relatives being involved in discussing DNAR, a significant proportion do not want their relatives to be asked. Furthermore, once a decision has been made, the majority of patients want it to be more accessible than current practice allows. (shrink)

We consider the procedure for small-sample estimation of reliability parameters. The main shortcomings of the classical methods and the Bayesian approach are analyzed. Models that find robust Bayesian estimates are proposed. The sensitivity of the Bayesian estimates to the choice of the prior distribution functions is investigated using models that find upper and lower bounds. The proposed models reduce to optimization problems in the space of distribution functions.

Nikolai Alekseevich Umov , a professor at Moscow and New Russian universities, Russia's first theoretical physicist and a mathematical philosopher, according to N. E. Zhukovskii's definition, developed a genuinely ecological philosophy, which is usually included in the philosophy of Russian cosmism. He made the first global forecast1 that took into account the finiteness of resources on earth, population growth, and food reserves.

The need for new models of social development capable of increasing the resilience of society and of counteracting the destructive processes that ruined a once-powerful state edifice has led to an interest in Eurasianism-a philosophical-historical, culturological, and intellectual-political movement that arose in Russian émigré circles in the early 1920s. Eurasianism made itself known by the publication in 1921 in Sofia of a collection with the symbolic title Exodus to the East [Iskhod k Vostoku]. The initiators of this work were the (...) economist and geographer P.N. Savitskii, the linguist N.S. Trubetskoi, the theologian and philosopher G.V. Florovskii, and the art critic P.P. Suvchinskii. The legal scholar N.N. Alekseev, the historian and philosopher L.P. Karsavin, the historian G.V. Vernadskii, and other eminent Russian émigré scholarly and cultural figures also took part in the movement. (shrink)

The book deals with the notion of Downward Causation from a wide array of perspectives, including physics, biology, psychology, social science, communication studies, text theory, and philosophy. The book includes proponents as well as opponents discussing the validity of the notion.

We present a modernized proof, with a modification by M.A. Shtan’ko, of the Markov theorem on the unsolvability of the homeomorphy problem for manifolds. We then discuss a proof of the S.P. Novikov theorem on the unrecognizability of spheres for n≥5, from which we obtain a corollary about unrecognizability of all manifolds of dimension at least five. An analogous argument then proves the unrecognizability of stabilizations of all four-dimensional manifolds. We also give a brief overview of known results concerning algorithmic (...) recognizability of three-dimensional manifolds. (shrink)

The paper considers the intellectual computer mathematics system InparSolver, which is designed to automatically explore and solve basic classes of computational mathematics problems on multi-core computers with graphics accelerators. The problems of results reliability of solving problems with approximate input data are outlined. The features of the use of existing computer mathematics systems are analyzed, their weaknesses are found. The functionality of InparSolver, some innovative approaches to the implementation of effective solutions to problems in a hybrid architecture are described. Examples (...) of applied usage of InparSolver for processes mathematical modeling in various subject areas are given. Nowadays, new more complex objects and phenomena in many subject areas are constantly emerging, which are subject to mathematical research on a computer. This encourages the development of new numerical methods and technologies of mathematical modeling, as well as the creation of more powerful computers for their implementation. With the advent and constant development of supercomputers of various architectures, the problems of their effective use, expansion of tasks range should be solved, ensuring the reliability of computer results and increasing the level of intellectual information support for users ‒ specialists in various fields. Today, the issues of solving these problems are given special attention by many specialists in the fields of information technology and parallel programming. The world's leadingscientists in the field of computer technology see the solution to the problems of efficient usage of modern supercomputers in algorithmic software creation that easily adapts to different computer architectures with different types of memory and coprocessors, supports efficient parallelism on millions of cores etc. In addition, improving the efficiency of high-performance computing on modern supercomputers is provided by their intellectualization, transferring to the computer to perform a significant part of the functions. The industry of development and usage of intelligent computer technologies is one of the main directions of science and technology development in modern society. (shrink)

As a preliminary step to beginning to assess the usefulness of clinical vignettes to measure ethical sensitivity in undergraduate medical students, five clinical vignettes with seven to nine ethical issues each were created. The ethical issues in the vignettes were discussed and outlined by an expert panel. One randomly selected vignette was presented to first, second and third year students at the University of Toronto as part of another examination. The students were asked to list the issues presented by the (...) patient problem. Responses from 281 students were obtained. These students identified an average of 2.72 ethical issues per vignette. Each response was classified under the domains of autonomy, beneficence and justice. Comparisons were made between classes and between vignettes. There was considerable variation between classes and the responses to different vignettes seem to indicate that different vignettes measure the various domains in different ways. It does appear that the use of vignettes is one way to measure aspects of ethical sensitivity in medical students but more study is required to clarify exactly what is being measured. (shrink)

Correct interpretation of the data from integral laboratory tests, including Thrombin Generation Test, requires biochemistry-based mathematical models of blood coagulation. The purpose of this study is to describe the experimental TGT data from healthy donors and hemophilia A and B patients. We derive a simplified ODE model and apply it to analyze the TGT data from healthy donors and HA/HB patients with in vitro added tissue factor pathway inhibitor antibody. This model allows the characterization of hemophilia patients in the space (...) of three most important model parameters. The proposed approach may provide a new quantitative tool for the analysis of experimental TGT. Also, it gives a reduced model of coagulation verified against clinical data to be used in future theoretical large-scale modeling of thrombosis in flow. (shrink)

The objectives of this study were to develop a high-density chromosome bin map of homoeologous group 7 in hexaploid wheat, to identify gene distribution in these chromosomes, and to perform comparative studies of wheat with rice and barley. We mapped 2148 loci from 919 EST clones onto group 7 chromosomes of wheat. In the majority of cases the numbers of loci were significantly lower in the centromeric regions and tended to increase in the distal regions. The level of duplicated loci (...) in this group was 24% with most of these loci being localized toward the distal regions. One hundred nineteen EST probes that hybridized to three fragments and mapped to the three group 7 chromosomes were designated landmark probes and were used to construct a consensus homoeologous group 7 map. An additional 49 probes that mapped to 7AS, 7DS, and the ancestral translocated segment involving 7BS also were designated landmarks. Landmark probe orders and comparative maps of wheat, rice, and barley were produced on the basis of corresponding rice BAC/PAC and genetic markers that mapped on chromosomes 6 and 8 of rice. Identification of landmark ESTs and development of consensus maps may provide a framework of conserved coding regions predating the evolution of wheat genomes. (shrink)